equivalence of expression

表达式的等价